منابع مشابه
Statistical theory of logical derivability
A generalization of notions like "theory" in the sense of mathematical logic, "Markov (normal) algorithm" etc., is described; the new notion is called "formal system". The generalization of notions "validity", and also of notion "provability" of formulas is the notion "derivability". Derivability is studied using statistical methods, analogous to the methods used in the statistical theory of de...
متن کاملReflection using the derivability conditions
We extend arithmetic with a new predicate Pr, giving axioms for Pr based on first-order versions of Lob's derivability conditions. We hoped that the addition of a reflection schema mentioning Pr would then give a non-conservative extension of the original arithmetic theory. The paper investigates this possibility. It is shown that, under special conditions, the extension is indeed non-conservat...
متن کاملDerivability and Admissibility of Inference Rules in Abstract Hilbert Systems
We give an overview of results, presented in the form of a poster at CSL03/KGC, about a general study of the notions of rule derivability and admissibility in Hilbert-style proof systems. The basis of our investigation consists in the concept of “abstract Hilbert system”, a framework for Hilbert-style proof systems in which it is abstracted from the syntax of formulas and the operational conten...
متن کاملPrimal Infon Logic: Derivability in Polynomial Time
Primal infon logic (PIL), introduced by Gurevich and Neeman in 2009, is a logic for authorization in distributed systems. It is a variant of the (æ,·)-fragment of intuitionistic modal logic. It presents many interesting technical challenges – one of them is to determine the complexity of the derivability problem. Previously, some restrictions of propositional PIL were proved to have a linear ti...
متن کاملDerivability of Rules from Rule Complexes
In the paper we focus upon the problem of derivability of rules from rule complexes. The notion of a rule complex is the main mathematical notion of generalized game theory (GGT for short). Derivability of rules, as defined here, comprises the concept of an extension from a default theory [9] as well as the classical notion of derivability of rules in logic. The idea of localness of reasoning, ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Kagaku tetsugaku
سال: 1968
ISSN: 1883-6461,0289-3428
DOI: 10.4216/jpssj.1.23